$\forall$${\it the\_w}$:World, $i$:Id, $k$:Knd. V($i$;$k$) $\in$ Type